Smetsers, Sjaak: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 16th Koli Calling International Conference - Koli, Finland (2016.11.24-2016.11.27)] Proceedings of the 16th Koli Calling International Conference on Computing Education Research - Koli Calling '16 - Designing a rubric for feedback on code quality in programming courses

Stegeman, Martijn, Barendsen, Erik, Smetsers, Sjaak

Year:

2016

Language:

english

File:

PDF, 330 KB

english, 2016

2

[ACM Press the 12th Workshop - Nijmegen, Netherlands (2017.11.08-2017.11.10)] Proceedings of the 12th Workshop on Primary and Secondary Computing Education - WiPSCE '17 - Problem Solving and Algorithmic Development with Flowcharts

Smetsers-Weeda, Renske, Smetsers, Sjaak

Year:

2017

Language:

english

File:

PDF, 1005 KB

english, 2017

3

Efficient and Type-Safe Generic Data Storage

Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 274 KB

english, 2009

4

Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving

Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko van Eekelen

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 415 KB

english, 2011

5

A Derivation System for Uniqueness Typing

Erik Barendsen, Sjaak Smetsers

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 438 KB

english, 1995

6

Code-carrying theories

Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 150 KB

english, 2007

7

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - There and back again

Alimarine, Artem, Smetsers, Sjaak, van Weelden, Arjen, van Eekelen, Marko, Plasmeijer, Rinus

Year:

2005

Language:

english

File:

PDF, 171 KB

english, 2005

8

[IEEE 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Birmingham, United Kingdom (2013.07.1-2013.07.3)] 2013 International Symposium on Theoretical Aspects of Software Engineering - GSOS Formalized in Coq

Madlener, Ken, Smetsers, Sjaak

Year:

2013

Language:

english

File:

PDF, 367 KB

english, 2013

9

[ACM Press the 14th Koli Calling International Conference - Koli, Finland (2014.11.20-2014.11.23)] Proceedings of the 14th Koli Calling International Conference on Computing Education Research - Koli Calling '14 - Towards an empirically validated model for assessment of code quality

Stegeman, Martijn, Barendsen, Erik, Smetsers, Sjaak

Year:

2014

Language:

english

File:

PDF, 772 KB

english, 2014

10

Partially strict non-recursive data types

Nöcker, Eric, Smetsers, Sjaak

Journal:

Journal of Functional Programming

Year:

1993

Language:

english

File:

PDF, 1.12 MB

english, 1993

11

Derivation and inference of higher-order strictness types

Smetsers, Sjaak, van Eekelen, Marko

Journal:

Computer Languages, Systems & Structures

Year:

2015

Language:

english

File:

PDF, 828 KB

english, 2015

12

Uniqueness typing for functional languages with graph rewriting semantics

Barendsen, Erik, Smetsers, Sjaak

Journal:

Mathematical Structures in Computer Science

Year:

1996

Language:

english

File:

PDF, 1.60 MB

english, 1996